Section: New Results

A formal library for polynomial arithmetics

Participant : Assia Mahboubi [Contact] .

Assia Mahboubi has worked on a modular formal library devoted to the divisibility theory of polynomials. The aim of this library is to provide a solid basis for further formal developments involving algorithms on polynomials, an in particular to cover the cases when the coefficients of the polynomials involved are equipped with a structure weaker that the structure of field required by the standard Euclidean algorithm.

The documentation of this formalization can be found on the webpage of the Mathematical Components project .